A graph algorithm for linearizing simulink models
نویسندگان
چکیده
This paper presents a new efficient approach for performing linearization of Simulink R © models. It improves the efficiency of existing linearization algorithms using a Jacobian graph, a graph-based data structure that captures the linear relationship between input, output and state variables. The graphbased algorithm enables the use of graph transformations to reduce the size of the Jacobian data structure, thereby improving the efficiency of subsequent computations. This paper presents a heuristic implementation of the graph-based algorithm. Experimental results on a number of Simulink models of different sizes show how the approach is able to significantly improve computational efficiency and memory use especially in models with large numbers of blocks and states.
منابع مشابه
Semantic Translation of Simulink/Stateflow Models to Hybrid Automata Using Graph Transformations
Embedded systems are often modeled using Matlab’s Simulink and Stateflow (MSS), to simulate plant and controller behavior but these models lack support for formal verification. On the other hand verification techniques and tools do exist for models based on the notion of Hybrid Automata (HA) but there are no tools that can convert Simulink/Stateflow models into their semantically equivalent Hyb...
متن کاملClone Detection in Matlab Simulink Models
A growing amount of embedded software is created by automated code generation from models. As each development project requires a given level of software quality, it is essential for successful projects that a projects quality is monitored and assessed continuously during the development life cycle. While quality assessment tools and processes for conventional software engineering are widely av...
متن کاملParallel Jobs Scheduling with a Specific Due Date: Asemi-definite Relaxation-based Algorithm
This paper considers a different version of the parallel machines scheduling problem in which the parallel jobs simultaneously requirea pre-specifiedjob-dependent number of machines when being processed.This relaxation departs from one of the classic scheduling assumptions. While the analytical conditions can be easily statedfor some simple models, a graph model approach is required when confli...
متن کاملFlattening Virtual Simulink Subsystems with Graph Transformation
Nowadays embedded systems are often modeled using MATLAB R ©, Simulink R © and Stateflow R © to simulate their behavior and facilitate design space exploration. As design progresses, models are increasingly elaborated by gradually adding implementation detail. An important elaboration is the execution order of the elements in a model. This execution order is based on a sorted list of all semant...
متن کاملA GUIDED TABU SEARCH FOR PROFILE OPTIMIZATION OF FINITE ELEMENT MODELS
In this paper a Guided Tabu Search (GTS) is utilized for optimal nodal ordering of finite element models (FEMs) leading to small profile for the stiffness matrices of the models. The search strategy is accelerated and a graph-theoretical approach is used as guidance. The method is evaluated by minimization of graph matrices pattern equivalent to stiffness matrices of finite element models. Comp...
متن کامل